sat systems of equations